121. Semigroups, automata, and languages : University of Porto, 20-24, June 1994
پدیدآورنده : edited by Jorge Almeida, Gracinda M.S. Gomes, Pedro V. Silva
کتابخانه: (طهران)
موضوع : Semigroups - Congresses , Machine theory - Congresses , Formal languages - Congresses
رده :
QA
182
.
S443
1994
122. Software Engineering and Formal Methods
پدیدآورنده : \ Radu Calinescu , Bernhard Rumpe (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering,Mathematical Logic and Formal Languages.,Software engineering -- Congresses.,مهندسی نرم افزار ,نرمافزار -- مهندسی-- کنگرهها
رده :
QA
76
.
758
.
S62
2015
E-Book
,
123. Symposium on Semantics of Algorithmic Languages
پدیدآورنده : edited by E. Engeler
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Algorithms
رده :
QA
3
.
L28
Vol
.
188
124. Symposium on semantics of algorithmic languages
پدیدآورنده : edited by E. Engeler
کتابخانه: (طهران)
موضوع : Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Computer algorithms
رده :
QA
76
.
7
.
S9
1971
125. Symposium on semantics of algorithmic languages
پدیدآورنده : edited by E. Engeler
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Formal languages,Congresses ، Computer algorithms
رده :
QA
1
.
L4
v
.
188
126. Symposium on semantics of algorithmic languages
پدیدآورنده : edited by E.Engeler
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Algorithms
رده :
QA
3
.
L28
no
.
188
127. System specification and design languages
پدیدآورنده : Tom J. Kaźmierski, Adam Morawiec, editors
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer hardware description languages, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses,Integrated circuits-- Very large scale integration-- Design and construction, Congresses,Software architecture, Congresses,Software engineering, Congresses
رده :
TK7885
.
7
.
F35
2010eb
128. The oretical computer science
پدیدآورنده : Editor Alfredo Desantis,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Machine theory-Congresses,Formal Languages-Congresses
رده :
QA
.
I8T47
267
1995
129. Theoretical aspects of computing -- ICTAC 2018 :
پدیدآورنده : Bernd Fischer, Tarmo Uustalu (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
L63
130. Theoretical computer science
پدیدآورنده : 3rd GI conference, Darmstadt, March 82-03, 7791 ; edited by H. Tzschach, H. Waldschmidt and H. K.-G. Walter on behalf of the GI
کتابخانه: (طهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
267
.
G18
1977
131. Theoretical computer science
پدیدآورنده : 3rd GI conference, Darmstadt, March 82-03, 7791 ; edited by H. Tzschach, H. Waldschmidt and H. K.-G. Walter on behalf of the GI
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L4
v
.
48
132. Theoretical computer science : 3rd GI Conference, Darmstadt, March 28-30, 1977
پدیدآورنده : edited by H. Tzchach, H. Waldschmidt and K.-G. Walter on behalf of the GI
کتابخانه: (طهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
48
133. Theoretical computer science : 4th GI Conference, Aachen, March 26-28, 1979
پدیدآورنده : edited by K. Weihrauch
کتابخانه: (طهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
67
134. Theoretical computer science : 6th GI-Conference, Dortmund, January 5-7, 1983
پدیدآورنده : edited by A.B. Cremers and H.P. Kriegel
کتابخانه: (طهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
145
135. Theoretical computer science : 5th GI-Conference, Karlsruhe, March 23-25, 1981
پدیدآورنده : edited by Peter Deussen
کتابخانه: (طهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
104
136. Theoretical computer science : 4th GI conference, Aachen, March 26-28, 1979
پدیدآورنده : GI-Fachtagung Theoretische Informatik, 4th, 9791, Aachen
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Machine theory-- Congresses,، Formal languages-- Congresses
رده :
QA
267
.
G18
1979
137. Theoretical computer science : 4th GI conference, Aachen, March 26-28, 1979
پدیدآورنده : edited by K. Weihrauch
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L4
v
.
67
138. Theoretical computer science : 6th GI conference, Dortmund, January 5-7, 1983
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Machine theory-- Congresses,، Formal languages-- Congresses
رده :
QA
267
.
G18
1983
139. Theoretical computer science : 5th GI conference, karlsruhe, March 23-25, 1981
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Machine theory-- Congresses,، Formal languages-- Congresses
رده :
QA
267
.
G18
1981
140. #Theory of machines and computations
پدیدآورنده : #Edited by Zvi Kohavi and Azaria Paz
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : Sequential machine theory -- Congresses ،Formal languages -- Congresses ،Switching theory -- Congresses ،Numerical calculations -- Congresses
رده :
#
QA
،#.
I58
،#
1971